A note on decidability questions on presentations of word semigroups
نویسندگان
چکیده
منابع مشابه
A Note on Decidability of Cellularity
A regular language L is said to be cellular if there exists a 1-dimensional cellular automaton CA such that L is the language consisting of the finite blocks associated with CA. It is shown that cellularity of a regular language is decidable using a new characterization of cellular languages formulated by Freiling, Goldstein and Moews and implied by a deep result of Boyle in symbolic dynamics.
متن کاملA Note on Extending Semicharacters on Semigroups
The purpose of this note is to give a necessary and sufficient condition for a semicharacter on a subsemigroup of a commutative semigroup G to be extendable to a semicharacter on G. A bounded complex function x on a semigroup G is called a semicharacter of G if x(x)9^0 for some xEG and x(xy) = x(%)x(y) ior all x, yEG. Semicharacters were introduced by Hewitt and Zuckerman [l] and in a slightly ...
متن کاملOn Some Questions of Rationality and Decidability
In this note we begin by resolving (in the negative) a question posed by Paz [6, Open Problem 1, p. 65] concerning the existence of an effective procedure for determining whether a recursively specified "probabilistie input-output relation" is of finite rank. To show that such an algorithm does not exist, it is enough to prove the undecidability of the corresponding problem for "probabilistic w...
متن کاملOn the decidability of the word problem for amalgamated free products of inverse semigroups
We study inverse semigroup amalgams [S1, S2;U ], where S1 and S2 are finitely presented inverse semigroups with decidable word problem and U is an inverse semigroup with decidable membership problem in S1 and S2. We use a modified version of Bennett’s work on the structure of Schützenberger graphs of the R-classes of S1 ∗U S2 to state sufficient conditions for the amalgamated free products S1 ∗...
متن کاملA Note on Representations of Inverse Semigroups
It is known [l; 2] that every inverse semigroup 5 has a faithful representation as a semigroup of (1, l)-mappings of subsets of a set A into A. The set A may be taken as the set of elements of 5 and the (1, l)-mappings as mappings of principal left ideals of 5 onto principal left ideals of 5. If £ is the set of idempotents of 5 then there is also a representation of 5, not necessarily faithful,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00311-8